Stockholm

Results: 9674



#Item
91

LEARNING-BASED TESTING FOR REACTIVE SYSTEMS Karl Meinke CSC School KTH Stockholm

Add to Reading List

Source URL: www.nada.kth.se

- Date: 2016-10-17 05:33:17
    92

    Development, State Capacity and Governance: Lessons for China? Torsten Persson, IIES, Stockholm University 4th Caixin Summit Beijing, December 19, 2013

    Add to Reading List

    Source URL: other.caixin.com

    - Date: 2013-12-20 23:07:49
      93

      Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

      Add to Reading List

      Source URL: www.csc.kth.se

      - Date: 2009-01-15 09:20:35
        94

        Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

        Add to Reading List

        Source URL: www.nada.kth.se

        - Date: 2011-09-12 13:20:21
          95

          Reducing Behavioural to Structural Control flow-based Properties of Sequential Programs with Procedures Dilian Gurov KTH Stockholm, Sweden Joint work with:

          Add to Reading List

          Source URL: www.nada.kth.se

          - Date: 2011-09-12 13:20:21
            96

            Dewey 2016 Folkbibliotek 1 Omslagsbild: Tranströmerbiblioteket, Stockholm. Foto: Cecilia Ranemo

            Add to Reading List

            Source URL: www.kb.se

            - Date: 2016-06-21 04:14:25
              97

              Curriculum Vitae Daniel Halan, M. Sc. Stockholm, Sweden Work internationally

              Add to Reading List

              Source URL: halan.blob.core.windows.net

              - Date: 2014-12-23 13:56:02
                98

                ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2011-09-12 13:20:21
                  99

                  CERTIFICATE The management system of ConEra AB Göteborg, Stockholm, Karlstad Sweden fulfils the requirements of

                  Add to Reading List

                  Source URL: www.conera.se

                  - Date: 2016-03-07 03:11:30
                    100

                    LEARNING-BASED TESTING: AN INTRODUCTION TO LBTEST Karl Meinke, CSC School, KTH Stockholm 0. Overview of Talk 1.  Introduction to LBTest tool

                    Add to Reading List

                    Source URL: www.nada.kth.se

                    - Date: 2015-06-11 07:32:29
                      UPDATE